1. ACM SIGPLAN Erlang Workshop'02 : A satellite event of PLI 2002 : October 7, 2002, Pittsburgh, Pennsylvania, USA
پدیدآورنده :
کتابخانه: (طهران)
موضوع : ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2002
2. Active and programmable networks :
پدیدآورنده : David Hutchison ... [et al.] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application program interfaces (Computer software), Congresses.,Computer networks, Congresses.,Microcomputers-- Programming, Congresses.
3. Active and programmable networks :
پدیدآورنده : David Hutchison ... [et al.] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application program interfaces (Computer software), Congresses.,Computer networks, Congresses.,Microcomputers-- Programming, Congresses.
4. Active networks
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer networks ; Congresses. ; Application program interfaces (Computer software) ; Congresses. ; Microcomputers ; Programming ; Congresses. ;
5. Active networks : First International Working Conference, IWAN'99, Berlin, Germany, June 30-July 2, 1999 : proceedings
پدیدآورنده : Stefan Covaci )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer networks,Congresses ، Application program interfaces )Computer software(,Programming -- Congresses ، Microcomputers
رده :
QA
76
.
L28
Vol
.
1653
6. Active networks : IFIP-TC6 Third International Working Conference, IWAN, 2001, Philadelphia, PA, USA, September 30-October 2, 2001 : proceedings
پدیدآورنده : Ian W. Marshall, Scott Nettles, Naoki Wakamiya )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer networks,Congresses ، Application program interfaces )Computer software(,Programming -- Congresses ، Microcomputers
رده :
QA
76
.
L28
Vol
.
2207
7. Active networks : IFIP-TC6 4th International Working Conference, IWAN 2002, Zurich, Switzerland, December 4-6, 2002 : proceedings
پدیدآورنده : James Sterbenz ... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer networks,Congresses ، Application program interfaces )Computer software(,Programming -- Congresses ، Microcomputers
رده :
QA
76
.
L28
Vol
.
2546
8. Active networks: second International Working Conference, IWAN 2000, Tokyo, Japan, October 16-18, 2000 : proceedings
پدیدآورنده : Hiroshi Yasuda )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer networks,Congresses ، Application program interfaces )Computer software(,Programming -- Congresses ، Microcomputers
رده :
QA
76
.
L28
Vol
.
1942
9. Advanced topics in exception handling techniques
پدیدآورنده : Christophe Dony ... ]et al.[ )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Computer software - Development,Congresses ، System design,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
76
.
D47
A373
10. Bidirectional transformations :
پدیدآورنده : Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
11. Central European Functional Programming School
پدیدآورنده : \ Viktória Zsók , Zoltán Horváth, Lehel Csató (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Functional programming (Computer science) -- Congresses.,Programming Techniques.,Software engineering.,نرمافزار -- مهندسی
رده :
QA
76
.
62
.
C4
2015
E-Book
,
12. Declarative agent languages and technologies IX :
پدیدآورنده : Chiaki Sakama [and others] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming languages -- Congresses.,Informatique.,Intelligent agents (Computer software) -- Congresses.
رده :
QA76
.
76
.
I58
C453
2012
13. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
پدیدآورنده : Joao Leite...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2990
14. EMSOFT 2004 : fourth ACM International Conference on Embedded Software, September 27-29, 2004, Pisa, Italy
پدیدآورنده : Program & General chair: Giorgio Buttazzo; sponsored by ACM
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
رده :
QA
76
.
76
.
D47E57
2004
15. Embedded software for SoC
پدیدآورنده : / edited by Ahmed Amine Jerraya ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
رده :
QA76
.
76
.
D47
,
E46
2003
16. Embedded software for SoC
پدیدآورنده : / edited by Ahmed Amine Jerraya ... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer software- Development Congresses,Operating systems (Computers) Congresses,Embedded computer systems- Programming Congresses
رده :
QA76
.
76
.
D47
,
E46
2003
17. Embedded software : second International conference, EMSOFT 2002, Grenoble, France, October 2002 : proceedings
پدیدآورنده : Alberto Sangiovanni-Vincentelli, Joseph Sifakis )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
رده :
QA
76
.
L28
Vol
.
2491
18. Embedded software : third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings
پدیدآورنده : Rajeev Alur, Insup Lee )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Programming -- Congresses ، Embedded computer systems
رده :
QA
76
.
L28
Vol
.
2855
19. Engineering theories of software construction
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
758
.
N388
2000
20. Engineering trustworthy software systems :
پدیدآورنده : Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758